[prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 594

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 79 393 166 186 0 1338 -1

N.S.

1 1.00 0.94 4.68 1.98 2.21 0.00 15.93 -0.01

time (sec)

N/A 0.051 0.100 20.985 0.536 0.626 0.000 0.796 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 69 86 64 175 0 71 -1

N.S.

1 1.00 0.88 1.10 0.82 2.24 0.00 0.91 -0.01

time (sec)

N/A 0.053 0.093 9.758 0.315 0.865 0.000 0.429 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 90 165 156 282 0 0 -1

N.S.

1 1.00 0.64 1.18 1.11 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.312 8.410 0.303 1.061 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 123 257 287 442 0 0 -1

N.S.

1 1.00 0.59 1.24 1.38 2.12 0.00 0.00 -0.00

time (sec)

N/A 0.129 0.559 12.801 0.286 1.355 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 211 419 0 45 0 0 -1

N.S.

1 1.00 0.77 1.52 0.00 0.16 0.00 0.00 -0.00

time (sec)

N/A 0.233 1.913 16.838 0.000 0.136 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 174 515 0 45 0 0 -1

N.S.

1 1.00 0.78 2.32 0.00 0.20 0.00 0.00 -0.00

time (sec)

N/A 0.147 1.969 18.767 0.000 0.128 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 156 266 0 18 0 0 -1

N.S.

1 1.00 1.01 1.73 0.00 0.12 0.00 0.00 -0.01

time (sec)

N/A 0.113 0.533 11.441 0.000 0.101 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 173 204 0 45 0 0 -1

N.S.

1 1.00 0.78 0.91 0.00 0.20 0.00 0.00 -0.00

time (sec)

N/A 0.165 1.499 9.170 0.000 0.142 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 218 419 0 45 0 0 -1

N.S.

1 1.00 0.79 1.52 0.00 0.16 0.00 0.00 -0.00

time (sec)

N/A 0.227 3.284 10.507 0.000 0.192 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 108 644 254 328 0 2580 -1

N.S.

1 1.00 0.81 4.81 1.90 2.45 0.00 19.25 -0.01

time (sec)

N/A 0.115 0.330 27.454 0.568 0.515 0.000 1.906 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 77 353 128 220 0 793 -1

N.S.

1 1.00 0.95 4.36 1.58 2.72 0.00 9.79 -0.01

time (sec)

N/A 0.065 0.157 22.770 0.546 0.478 0.000 0.909 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 38 103 112 112 0 98 -1

N.S.

1 1.00 1.06 2.86 3.11 3.11 0.00 2.72 -0.03

time (sec)

N/A 0.034 0.031 19.824 0.545 0.455 0.000 0.606 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 42 26 100 0 31 -1

N.S.

1 1.00 1.00 1.27 0.79 3.03 0.00 0.94 -0.03

time (sec)

N/A 0.040 0.028 5.682 0.293 0.441 0.000 0.449 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 71 109 81 220 0 0 -1

N.S.

1 1.00 0.95 1.45 1.08 2.93 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.122 9.036 0.276 0.471 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 101 205 167 388 0 898 -1

N.S.

1 1.00 0.80 1.63 1.33 3.08 0.00 7.13 -0.01

time (sec)

N/A 0.088 0.255 11.559 0.323 0.528 0.000 0.833 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 188 377 0 845 0 0 -1

N.S.

1 1.00 0.76 1.53 0.00 3.43 0.00 0.00 -0.00

time (sec)

N/A 0.161 1.495 18.121 0.000 0.199 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 100 222 0 730 0 0 -1

N.S.

1 1.00 0.92 2.04 0.00 6.70 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.269 17.383 0.000 0.161 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 60 60 0 305 0 0 -1

N.S.

1 1.00 1.18 1.18 0.00 5.98 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.057 0.243 0.000 0.109 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 101 120 0 723 0 0 -1

N.S.

1 1.00 0.95 1.13 0.00 6.82 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.259 7.063 0.000 0.155 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 186 351 0 1045 0 0 -1

N.S.

1 1.00 0.78 1.46 0.00 4.35 0.00 0.00 -0.00

time (sec)

N/A 0.176 2.702 10.261 0.000 0.171 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 107 3763 341 593 0 2776 -1

N.S.

1 1.00 0.60 21.26 1.93 3.35 0.00 15.68 -0.01

time (sec)

N/A 0.151 0.335 90.773 0.522 0.561 0.000 2.134 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 75 2199 198 445 0 1011 -1

N.S.

1 1.00 0.64 18.64 1.68 3.77 0.00 8.57 -0.01

time (sec)

N/A 0.081 0.084 71.232 0.517 0.510 0.000 1.086 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 54 1317 151 281 0 250 -1

N.S.

1 1.00 0.86 20.90 2.40 4.46 0.00 3.97 -0.02

time (sec)

N/A 0.045 0.047 59.158 0.518 0.454 0.000 0.739 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 46 62 48 225 0 57 -1

N.S.

1 1.00 0.81 1.09 0.84 3.95 0.00 1.00 -0.02

time (sec)

N/A 0.050 0.037 8.878 0.272 0.465 0.000 0.511 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 70 148 123 406 0 525 -1

N.S.

1 1.00 0.64 1.35 1.12 3.69 0.00 4.77 -0.01

time (sec)

N/A 0.078 0.070 10.357 0.324 0.466 0.000 0.808 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 94 265 231 652 0 1150 -1

N.S.

1 1.00 0.56 1.59 1.38 3.90 0.00 6.89 -0.01

time (sec)

N/A 0.112 0.224 10.391 0.293 0.531 0.000 1.054 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 197 368 0 1228 0 0 -1

N.S.

1 1.00 0.67 1.26 0.00 4.21 0.00 0.00 -0.00

time (sec)

N/A 0.211 1.599 18.771 0.000 0.226 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 145 278 0 1048 0 0 -1

N.S.

1 1.00 0.65 1.24 0.00 4.68 0.00 0.00 -0.00

time (sec)

N/A 0.148 0.623 18.806 0.000 0.198 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 90 103 0 938 0 0 -1

N.S.

1 1.00 0.89 1.02 0.00 9.29 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.104 10.734 0.000 0.167 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 142 141 0 996 0 0 -1

N.S.

1 1.00 0.68 0.67 0.00 4.77 0.00 0.00 -0.00

time (sec)

N/A 0.155 0.530 9.345 0.000 0.162 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 199 353 0 1465 0 0 -1

N.S.

1 1.00 0.67 1.19 0.00 4.93 0.00 0.00 -0.00

time (sec)

N/A 0.240 2.616 9.993 0.000 0.200 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 107 1909 432 995 0 3826 -1

N.S.

1 1.00 0.49 8.76 1.98 4.56 0.00 17.55 -0.00

time (sec)

N/A 0.188 0.344 63.339 0.563 0.636 0.000 3.086 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 76 1065 268 769 0 1792 -1

N.S.

1 1.00 0.50 6.96 1.75 5.03 0.00 11.71 -0.01

time (sec)

N/A 0.097 0.087 47.820 0.591 0.522 0.000 1.554 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 56 895 214 521 0 842 -1

N.S.

1 1.00 0.62 9.84 2.35 5.73 0.00 9.25 -0.01

time (sec)

N/A 0.054 0.055 38.530 0.565 0.536 0.000 0.996 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 49 260 69 382 0 74 -1

N.S.

1 1.00 0.59 3.13 0.83 4.60 0.00 0.89 -0.01

time (sec)

N/A 0.057 0.040 20.122 0.341 0.501 0.000 0.455 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 69 1038 164 666 0 751 -1

N.S.

1 1.00 0.48 7.26 1.15 4.66 0.00 5.25 -0.01

time (sec)

N/A 0.092 0.178 30.439 0.355 0.498 0.000 0.990 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 117 988 295 984 0 1411 -1

N.S.

1 1.00 0.56 4.75 1.42 4.73 0.00 6.78 -0.00

time (sec)

N/A 0.131 0.574 41.831 0.377 0.564 0.000 1.253 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 235 667 0 1730 0 0 -1

N.S.

1 1.00 0.68 1.92 0.00 4.97 0.00 0.00 -0.00

time (sec)

N/A 0.285 2.333 26.053 0.000 0.358 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 199 851 0 1632 0 0 -1

N.S.

1 1.00 0.68 2.91 0.00 5.59 0.00 0.00 -0.00

time (sec)

N/A 0.204 1.830 20.928 0.000 0.279 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 172 547 0 1531 0 0 -1

N.S.

1 1.00 0.77 2.45 0.00 6.87 0.00 0.00 -0.00

time (sec)

N/A 0.173 0.916 10.520 0.000 0.220 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 209 411 0 1595 0 0 -1

N.S.

1 1.00 0.73 1.43 0.00 5.56 0.00 0.00 -0.00

time (sec)

N/A 0.232 1.820 14.218 0.000 0.253 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 226 633 0 1971 0 0 -1

N.S.

1 1.00 0.65 1.82 0.00 5.66 0.00 0.00 -0.00

time (sec)

N/A 0.327 2.089 12.108 0.000 0.266 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 121 0 0 29 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.24 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.366 2.007 0.000 0.635 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 83 0 0 27 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.174 0.921 0.000 0.404 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 61 0 0 25 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.42 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.048 0.517 0.000 0.390 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 0 0 25 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.46 0.00 0.00 -0.02

time (sec)

N/A 0.036 0.043 0.516 0.000 0.413 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 73 0 0 27 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.301 0.516 0.000 0.487 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 102 0 0 27 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.086 5.325 0.626 0.000 0.452 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 102 0 0 27 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.220 0.497 0.000 0.391 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 98 0 0 27 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.145 0.556 0.000 0.414 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 102 0 0 27 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.071 4.990 0.556 0.000 0.435 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 143 132 152 1764 0 144 2003

N.S.

1 1.00 0.93 0.86 0.99 11.53 0.00 0.94 13.09

time (sec)

N/A 0.125 0.228 0.766 0.526 38.729 0.000 0.499 17.542

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 45 34 52 0 0 38 -1

N.S.

1 1.00 1.00 0.76 1.16 0.00 0.00 0.84 -0.02

time (sec)

N/A 0.047 0.020 6.684 0.502 0.000 0.000 0.435 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 21 39 0 0 24 -1

N.S.

1 1.00 1.00 0.75 1.39 0.00 0.00 0.86 -0.04

time (sec)

N/A 0.044 0.012 2.297 0.519 0.000 0.000 0.427 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 55 0 68 195 0 0 -1

N.S.

1 1.00 0.93 0.00 1.15 3.31 0.00 0.00 -0.02

time (sec)

N/A 0.059 0.038 2.602 0.519 0.551 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 85 0 0 361 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 4.06 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.132 1.026 0.000 0.565 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 65 72 0 240 0 0 -1

N.S.

1 1.00 1.27 1.41 0.00 4.71 0.00 0.00 -0.02

time (sec)

N/A 0.038 0.063 0.493 0.000 0.536 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 0 50 140 0 0 -1

N.S.

1 1.00 1.00 0.00 1.43 4.00 0.00 0.00 -0.03

time (sec)

N/A 0.048 0.019 1.809 0.523 0.523 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 66 0 79 247 0 0 -1

N.S.

1 1.00 0.94 0.00 1.13 3.53 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.055 2.703 0.559 0.554 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 141 0 166 371 0 0 -1

N.S.

1 1.00 1.31 0.00 1.54 3.44 0.00 0.00 -0.01

time (sec)

N/A 0.116 1.992 1.033 0.498 0.518 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

411 411 291 0 0 37 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.09 0.00 0.00 -0.00

time (sec)

N/A 0.267 54.377 2.437 0.000 0.114 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 304 396 0 28 0 0 -1

N.S.

1 1.00 1.88 2.44 0.00 0.17 0.00 0.00 -0.01

time (sec)

N/A 0.056 1.903 58.507 0.000 0.094 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

477 477 372 0 0 37 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.08 0.00 0.00 -0.00

time (sec)

N/A 0.249 58.311 1.862 0.000 0.120 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 37 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.42 0.00 0.00 -0.04

time (sec)

N/A 0.027 6.753 1.738 0.000 1.794 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

279 279 875 0 0 37 0 0 -1

N.S.

1 1.00 3.14 0.00 0.00 0.13 0.00 0.00 -0.00

time (sec)

N/A 0.200 17.373 0.758 0.000 0.482 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

141 141 463 0 0 35 0 0 -1

N.S.

1 1.00 3.28 0.00 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.084 7.691 1.685 0.000 0.437 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 0 0 35 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.65 0.00 0.00 -0.02

time (sec)

N/A 0.043 0.068 1.615 0.000 0.421 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 119 0 0 37 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.463 1.632 0.000 0.483 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 37 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.42 0.00 0.00 -0.04

time (sec)

N/A 0.026 45.620 0.767 0.000 0.488 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 37 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.42 0.00 0.00 -0.04

time (sec)

N/A 0.025 2.317 0.763 0.000 0.483 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 28 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.65 0.00 0.00 -0.06

time (sec)

N/A 0.008 0.163 1.674 0.000 0.423 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 37 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.42 0.00 0.00 -0.04

time (sec)

N/A 0.025 2.015 0.799 0.000 0.441 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 37 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.42 0.00 0.00 -0.04

time (sec)

N/A 0.025 52.175 0.727 0.000 0.461 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

306 306 3544 0 0 59 0 0 -1

N.S.

1 1.00 11.58 0.00 0.00 0.19 0.00 0.00 -0.00

time (sec)

N/A 0.288 17.742 2.289 0.000 0.427 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

215 215 2368 0 0 41 0 0 -1

N.S.

1 1.00 11.01 0.00 0.00 0.19 0.00 0.00 -0.00

time (sec)

N/A 0.183 14.740 0.875 0.000 0.403 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

124 124 1065 0 0 23 0 0 -1

N.S.

1 1.00 8.59 0.00 0.00 0.19 0.00 0.00 -0.01

time (sec)

N/A 0.101 12.462 0.727 0.000 0.434 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.034 5.994 0.429 0.000 0.397 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 43 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 1.65 0.00 0.00 -0.04

time (sec)

N/A 0.035 54.860 1.185 0.000 0.407 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 45 38 57 97 0 46 -1

N.S.

1 1.00 0.96 0.81 1.21 2.06 0.00 0.98 -0.02

time (sec)

N/A 0.051 0.020 3.086 0.513 0.413 0.000 0.520 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 24 41 74 0 27 -1

N.S.

1 1.00 1.00 0.83 1.41 2.55 0.00 0.93 -0.03

time (sec)

N/A 0.048 0.012 0.518 0.520 0.421 0.000 0.516 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.032 6.876 1.300 0.000 0.407 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.032 51.652 0.419 0.000 0.426 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 23 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.017 0.713 0.358 0.000 0.408 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 0 0 23 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.42 0.00 0.00 -0.02

time (sec)

N/A 0.052 0.040 0.221 0.000 0.445 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 129 0 0 25 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.18 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.734 0.386 0.000 0.414 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.031 61.883 0.372 0.000 0.458 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.031 5.630 0.320 0.000 0.421 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 16 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.94 0.00 0.00 -0.06

time (sec)

N/A 0.009 0.478 0.180 0.000 0.416 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.031 4.731 0.301 0.000 0.444 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 25 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.96 0.00 0.00 -0.04

time (sec)

N/A 0.031 80.629 0.447 0.000 0.445 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 114 102 324 0 125 0 0 -1

N.S.

1 1.07 0.95 3.03 0.00 1.17 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.140 183.300 0.000 0.111 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 135 0 0 39 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.134 0.642 1.006 0.000 1.215 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 325 4067171 0 44 0 0 -1

N.S.

1 1.00 4.11 51483.18 0.00 0.56 0.00 0.00 -0.01

time (sec)

N/A 0.049 1.199 4.481 0.000 0.464 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

79 79 529 258013 0 0 0 0 -1

N.S.

1 1.00 6.70 3265.99 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 1.129 5.211 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]